Search alternatives:
"process calculi" » "process calculus" (Expand Search)
Showing 1 - 11 results of 11 for search '"process calculi"', query time: 0.34s Refine Results
  1. 1
    Mobility in process calculi and natural computing /
    by Aman, Bogdan
    Published 2011
    Connect to the full text of this electronic book
    eBook
  2. 2
    Theory and Formal Methods 1993 : Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993 /
    by Burn, Geoffrey
    Published 1993
    Table of Contents: “... and abstract interpretation -- Implementing process calculi in C -- Concurrency, fairness, and logical...”
    Connect to the full text of this electronic book
    eBook
  3. 3
    Semantic Integration of Heterogeneous Software Specifications /
    by Große-Rhode, Martin
    Published 2004
    Connect to the full text of this electronic book
    eBook
  4. 4
    Communication-Based Systems : Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000 /
    by Hommel, Günter
    Published 2000
    Connect to the full text of this electronic book
    eBook
  5. 5
    Modal and Temporal Properties of Processes /
    by Stirling, Colin
    Published 2001
    Connect to the full text of this electronic book
    eBook
  6. 6
    Fundamental approaches to software engineering : second international conference, FASE '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, the Netherlands, March 22-28, 1999 : proceedings /
    Published 1999
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  7. 7
    Logic for concurrency and synchronisation /
    Published 2003
    Connect to the full text of this electronic book
    Connect to the full text of this electronic book
    eBook
  8. 8
    Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /
    Published 2020
    Connect to the full text of this electronic book
    eBook
  9. 9
    IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 /
    by Araki, Keijiro
    Published 1999
    Table of Contents: “...-Passing Process Calculi -- Matthew Hennessy -- Deductive Reasoning versus Model Checking: Two Formal...”
    Connect to the full text of this electronic book
    eBook
  10. 10
    Parallel symbolic languages and systems : International Workshop PSLS'95, Beaune, France, October 2-4, 1995 : proceedings /
    Published 1996
    Table of Contents: “... : progress report / Julian Padget -- Process calculi at work : an account of the LCS project / Bernard...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
  11. 11
    Theory and practice of parallel programming : international workshop TPPP '94, Sendai, Japan, November 7-9, 1994 : proceedings /
    Published 1995
    Table of Contents: “... process calculi based on SOS / Atsushi Togashi [and others] -- First-class synchronous operations / John H...”
    Connect to the full text of this electronic book
    Conference Proceeding eBook
Search Tools: RSS Feed – Email Search